Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
521	Invitation to Courses PROF. KRISHNENDU CHATTERJEE Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-02-12 03:12:12 Formal methods Logic in computer science Formal verification Model checking Correctness Institute of Science and Technology Austria Distributed algorithm Algorithm Specification Theoretical computer science Applied mathematics Mathematics
522	Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-15 06:33:59 Logic in computer science Non-classical logic Query languages Prolog Logic programming Denotational semantics Programming language Logic Modal logic Software engineering Computing Computer programming
523	BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 09:45:05 Complexity classes Algorithm Mathematical logic Model of computation PP Dynamic problem P ACC0 Circuit complexity Theoretical computer science Computational complexity theory Applied mathematics
524	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
525	Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-03-03 04:50:17 NP-complete problems Logic in computer science Boolean algebra Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem Solver Boolean data type Theoretical computer science Applied mathematics Mathematics
526	Canonical Inference for Implicational Systems⋆ Maria Paola Bonacina⋆⋆1 and Nachum Dershowitz⋆ ⋆ ⋆2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:12 Theoretical computer science Logic in computer science Conditionals Rewriting Propositional calculus Necessity and sufficiency Mathematical proof Implicational propositional calculus Mathematics Logic Mathematical logic
527	BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-08-23 08:48:12 Programming language semantics Logic in computer science Operational semantics BRIC Peter Mosses Gordon Plotkin Congruence relation Theoretical computer science Mathematics Formal methods
528	Canonical Ground Horn Theories Maria Paola Bonacina1⋆ and Nachum Dershowitz2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:13 Propositional calculus Boolean algebra Logic in computer science Semantics Mathematical proof Horn clause Negation Unification Interpretation Logic Mathematical logic Mathematics
529	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-13 07:44:53 Computer science Models of computation Applied mathematics Logic in computer science Normalisation by evaluation Denotational semantics De Bruijn index Symbol Administrative normal form Theoretical computer science Lambda calculus Programming language semantics
530	A STUDY INTO THE EFFECT OF DIFFERENT FORMULATIONS OF THE METROPOLIS-HASTINGS ALGORITHM IN ESTIMATING MODEL PARAMETERS AND ERRORS Edmund Ryan, Mat Williams, Shaun Quegan Department of Applied Mathematics, University Add to Reading List Source URL: www.nceo.ac.uk Language: English* - Date: 2013-05-09 14:08:40 Mathematics Mathematical optimization Bayesian statistics Algorithm Mathematical logic Theoretical computer science Genetic algorithm Estimation theory Credible interval Statistics Statistical inference Applied mathematics

UPDATE